R. G. Jerosow; "Consistency statements in formal theories"